tool n. 1.工具,用具,器具;【机械工程】刀具;工具母机 (=machine tool)。 2.爪牙,傀儡,走狗;〔美俚〕扒手。 3.【装钉】压印机。 4.〔pl.〕〔美俚〕刀叉(等)。 Books are the tools of a scholar. 书籍是学者的工具。 tool steel 工具钢。 a broad tool (石工的)宽刃凿。 an edge(d) tool 刀。 literary tools 文具。 a poor tool不行的工人。 throw down one's tools=down tools 罢工。 vt.,vi. 1.用工具加工,用工具制造,用凿刀修整(石头);【装订】压印。 2.〔英口〕开车;乘车;〔美俚〕闲逛,闲荡。 Let me tool you down to the station. 我用车送你上车站吧。 blind tooling 【印刷】(硬封面上的)本色压印。
Application verifier is a runtime verification tool for unmanaged code 应用程序验证程序是用于非托管代码的运行时验证工具。
This xml schema verification tool is available as a free trial download through ibm alphaworks :这个xmlschema验证工具可从ibmalphaworks下载免费试用版。
The certificate verification tool checks the validity of a file signed with an authenticode certificate 证书验证工具检查用authenticode证书签名的文件的有效性。
D . song has made an extension to ssm and has developed an automatic verification tool, athena d.song对串空间模型进行了扩展,并开发了安全协议自动验证工具athena。
The communique proposed the use of age and customer verification tools to protect young people and the vulnerable 公报提议使用年龄以及玩家身份识别工具,保护未成年人及弱势群体。
We implemented the model-checking algorithm with java and developed a new automatic verification tool named avsp 我们使用java语言对本文的模型检测算法进行了具体实现,开发了一个拥有自主知识产权的安全协议自动验证工具avsp。
The followed problems have been deeply researched : integrate seamlessly with existing verification tools, design data abstraction, automated verification flow implement 在该体系结构下,研究了验证工具的集成、设计数据的抽象和自动化流程的实现等问题;3
Is a software verification tool set that overcomes complexities of the embedded software environment from early-phase host-based design and development to final-phase test and validation 是软件校验工具组,克服从最初基于主机的设计及开发阶段到最终测试及校验阶段的嵌入式软件环境的复杂性,有助于节省时间和资金。
In the end discusses the design methodology of system-on-a-chip integration verification platform and analyzes some aspects, such as data organization, verification tools, system security and management, in detail 最后进一步讨论了soc集成验证平台的设计方法,并对其在数据组织、使用工具、系统安全以及在管理上的考虑作了详细分析。
There are two parts in the paper, the first is about the principles of opc, lithography simulation algorithms, opc implementation and based on nanoscope, a verification tool, some verification to corrected designs are implemented 本文主要包括两部分,第一部分主要介绍了光学邻近校正的原理,光刻模拟算法和光学邻近校正的实现,并且基于软件nanoscope对一些进行过光学邻近校正处理的设计进行可制造性检查,并对结果进行总结。